981. Temporal Logic of Programs
پدیدآورنده: by Fred Kröger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
9
.
L63
B947
1987
982. Temporal information processing technology and its applications /
پدیدآورنده: [edited by] Yong Tang, Xiaoping Ye, Na Tang
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Temporal databases
رده :
QA76
.
9
.
D3
T415
2010eb
983. Ten Problems for Integrated Behavioural Science:
پدیدآورنده: Boyer, Pascal
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
984. Text Understanding in LILOG :
پدیدآورنده: edited by Otthein Herzog, Claus-Rainer Rollinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer network architectures.,Software engineering.
رده :
P98
.
E358
1991
985. The A-Z of management concepts and models /
پدیدآورنده: Bengt Karlöf and Fredrik Helin Lövingsson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Industrial management-- Mathematical models.,Industrial management-- Statistical methods.,BUSINESS & ECONOMICS-- Management Science.,Industrial management-- Mathematical models.,Industrial management-- Statistical methods.
رده :
HD30
.
25
.
K37
2005eb
986. The Art of the Intelligible :
پدیدآورنده: by John L. Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
رده :
B67
987. The Bloomsbury companion to analytic feminism /
پدیدآورنده: edited by Pieranna Garavaso.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Analysis (Philosophy),Feminist theory.,Analysis (Philosophy),Analytical philosophy & Logical Positivism.,Feminism & feminist theory.,Feminist theory.,SOCIAL SCIENCE-- Discrimination & Race Relations.,SOCIAL SCIENCE-- Minority Studies.
رده :
HQ1190
988. The Buddhist world /
پدیدآورنده: edited by John Powers.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Buddhism.,Buddhism.,Buddhismus,Buddhist
رده :
BQ4055
.
B8535
2016
989. The Cambridge companion to early modern philosophy
پدیدآورنده: edited by Donald Rutherford
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع: ، Philosophy, Modern -- 71th century,، Philosophy, Modern -- 81th century
رده :
B
801
.
C345
2006
990. The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics /
پدیدآورنده: John L. Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics-- Philosophy.,Mathematics-- Philosophy.
رده :
QA8
.
4
991. The Culture Industry, Information and Capitalism
پدیدآورنده: by César Bolaño.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
JA75
.
7
B934
2015
992. The Design of a Microprocessor
پدیدآورنده: by Wilhelm G. Spruth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronics.,Engineering.
رده :
TK7895
.
M5
B995
1989
993. The European cultural heritage :
پدیدآورنده: Tzanidaki, Johanna-Despoina
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: CC Archaeology,JN Political institutions (Europe)
994. <The> Language of Mathematics
پدیدآورنده: / Robert L. Baber
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematical notation,English language - achine translating,فرمول های ریاضی,زبان انگلیسی - ترجمه ماشینی
رده :
QA41
.
B235
2011
995. <The> Logic of Concept Expansion
پدیدآورنده: \ Meir Buzaglo.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Concepts,مفهوم,a02,a02,Logic.,منطق
رده :
BC
199
.
B8L6
2002
E-Book
,
996. The Logic of Sortals :
پدیدآورنده: by Max A. Freund.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Developmental psychology.,Linguistics-- Philosophy.,Logic.,Metaphysics.,Ontology.,Semantics.,Developmental psychology.,Linguistics-- Philosophy.,Logic.,Metaphysics.,Ontology.,Predicate (Logic),Semantics.
رده :
BC181
.
F74
2019
997. The Logics of Preference :
پدیدآورنده: by Nicholas J. Moutafakis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic.,Philosophy (General)
رده :
BC145
.
B965
1987
998. The Notion of an Ideal Audience in Legal Argument
پدیدآورنده: by George C. Christie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic.,Ontology.,Philosophy (General)
999. The Oxford handbook of thinking and reasoning /
پدیدآورنده: edited by Keith J. Holyoak, Robert G. Morrison.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Reasoning (Psychology),Thought and thinking.,Thinking.
1000. <The Promise Of = Promise Of> Salvation,Cultus und Heilsversprechen. English
پدیدآورنده: /Martin Riesebrodt,Cultus und Heilsversprechen.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: Religion -- Philosophy, Salvation.,دین -- فلسفه
رده :
BL48
.
R4
